abstract class $CONTAINER{ETP} < $ELT{ETP} |
---|
**** | The basic abstract container type Does not have a create:SAME method, since this does not make sense for arrays and other indexible types, where the create should take SAME as an argument Inherits: elt!, str |
$ELT{_} | $ELT |
copy: $CONTAINER{ETP}; |
---|
**** | Should be "SAME" Return a copy of the current container post result = self |
has(e: ETP): BOOL; |
---|
**** | pre ~void(self) True if the container contains the element "e" |
size: INT; |
---|
**** | Number of elements actually inserted |